More from this Author

Nonmonotonic and Inductive Logic

by J. Dix (Editor), Klaus P. Jantke (Editor), Peter H. Schmitt (Editor), Jörg Siekmann (Editor)

Nonmonotonic and Inductive Logic

by Gerhard Brewka (Editor), Klaus P. Jantke (Editor), Peter H. Schmitt (Editor)

Deductive Software Verification - the KeY Book

by Wolfgang Ahrendt (Editor), Bernhard Beckert (Editor), Richard Bubel (Editor), Reiner Hähnle (Editor), Peter H. Schmitt (Editor), Mattias Ulbrich (Editor)